منابع مشابه
Dynamic nested brackets
We consider the problem of maintaining a string of n brackets ‘(’ or ‘)’ under the operation reverse(i) that changes the ith bracket from ‘(’ to ‘)’ or vice versa, and returns ‘yes’ if and only if the resulting string is properly balanced. We show that this problem can be solved on the RAM in time O(logn/ log logn) per operation using linear space and preprocessing. Moreover, we show that this ...
متن کاملNested Refinements for Dynamic Languages
Programs written in dynamic languages make heavy use of features— run-time type tests, value-indexed dictionaries, polymorphism,and higher-order functions — that are beyond the reach of type sys-tems that employ either purely syntactic or purely semantic reason-ing. We present a core calculus, System D, that merges these twomodes of reasoning into a single powerful mecha...
متن کاملNested and Dynamic Contract Boundaries
Previous work on software contracts assumes fixed and statically known boundaries between the parties to a contract. Implementations of contract monitoring systems rely on this assumption to explain the nature of contract violations and to assign blame to violators. In this paper, we explain how to implement arbitrary, nested, and dynamic contract boundaries with two examples. First, we add nes...
متن کاملNested Dynamic Condition Response Graphs
We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giv...
متن کاملFast and efficient dynamic nested effects models
MOTIVATION Targeted interventions in combination with the measurement of secondary effects can be used to computationally reverse engineer features of upstream non-transcriptional signaling cascades. Nested effect models (NEMs) have been introduced as a statistical approach to estimate the upstream signal flow from downstream nested subset structure of perturbation effects. The method was subst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2004
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.04.006